9 found
Order:
  1.  20
    Mays W. and Henry D. P.. Jevons and logic. Mind, n.s. vol. 62 , pp. 484–505.George W. Patterson - 1958 - Journal of Symbolic Logic 23 (1):62-63.
  2.  28
    Mays W.. The first circuit for an electrical logic-machine. Science, vol. 118 , pp. 281–282.George W. Patterson - 1957 - Journal of Symbolic Logic 22 (2):221-222.
  3.  35
    Curry H. B.. The logic of program composition. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris—25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, série A, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 97–102. [REVIEW]George W. Patterson - 1957 - Journal of Symbolic Logic 22 (1):102-103.
  4.  16
    Abbott Wilton R.. Computing logical truth with the California Digital Computer. Mathematical tables and other aids to computation, vol. 5 , pp. 120–128. [REVIEW]George W. Patterson - 1952 - Journal of Symbolic Logic 17 (4):280-281.
  5.  30
    Berkeley Edmund C.. The relations between symbolic logic and large-scale calculating machines. Science, vol. 112 , pp. 395–399. [REVIEW]George W. Patterson - 1952 - Journal of Symbolic Logic 17 (1):78-78.
  6.  44
    Mays W. and Henry D. P.. Logical machines. New light on W. Stanley Jevons. The Manchester guardian, no. 32677 , B, p. 4. [REVIEW]George W. Patterson - 1953 - Journal of Symbolic Logic 18 (1):69-69.
  7.  33
    (1 other version)Mays W.. Mechanized reasoning. Electronic engineering, vol. 23 , p. 278.McCallum D. M. and Smith J. B.. The authors reply. Electronic engineering, vol. 23. [REVIEW]George W. Patterson - 1953 - Journal of Symbolic Logic 18 (1):68-69.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  51
    (1 other version)Review: W. Mays, C. E. M. Hansel, D. P. Henry, Note on the Exhibition of Logical Machines at the Joint Session, July 1950. [REVIEW]George W. Patterson - 1952 - Journal of Symbolic Logic 17 (1):77-78.
  9.  28
    Staehler Robert E.. An application of Boolean algebra to switching circuit design. The Bell System technical journal, vol. 31 , pp. 280–305. [REVIEW]George W. Patterson - 1953 - Journal of Symbolic Logic 18 (4):348-348.